Поиск в словарях
Искать во всех

Философский энциклопедический словарь - дизъюнкция

 

Дизъюнкция

дизъюнкция
(лат. disjunctio— разделять) — логическая операция, образующая сложное высказывание  из объединения двух высказываний с помощью логического союза “или”. Символическая запись: А V В (читается А или б). В классической математической логике различают два вида Д.: нестрогая (соединительная) и строгая (разделительная). Нестрогая Д. образует сложное высказывание, к-рое истинно тогда, когда истинно хотя бы одно из входящих в него высказываний, и ложно тогда, когда ложны все входящие в него высказывания. Строгая Д. образует сложное высказывание, истинное только в том случае, когда истинен лишь один из его членов.

Рейтинг статьи:
Комментарии:

См. в других словарях

1.
  (от лат. disjunctio разобщение, обособление), в широком смысле сложное высказывание,  образованное из двух или более предложений с помощью союза «или», выражающего альтернативность, или выбор. В символич. логике Д. наз. логич. связку (операцию, функцию), образующую из предложений А и В сложное высказывание, обозначаемое обычно как А V В, к-рое является истинным при истинности по крайней мере одного из двух дизъюнктивных членов: А или В. В классич. логике Д. вместе с отрицанием образует функциональнополную систему пропозициональных связок, что позволяет определить через них др. пропозициональные связки. Традиционно принято отличать рассмотренную (нестрогую) Д. от строгой (разделительной) Д., для к-рой характерно то, что соответствующее высказывание истинно при условии, когда истинен один и только один дизъюнктивный член. см. к ст. Логика высказываний. ...
Советский философский словарь
2.
  (от лат. disjunctio разобщение, различение) логическая операция аналог употребления союза "или" в обычном языке, с помощью которой из двух или более исходных суждений строится новое суждение. Так, из суждений "Он способен" и "Он прилежен" с помощью операции "или" можно получить новое суждение "Он способен или он прилежен" (1). Из суждений "Он совершил преступление", "Он не совершал преступления" с помощью "или" можно получить новое суждение "Он совершил преступление или он не совершал преступления" (2). Суждение (1) истинно в трех случаях: 1) когда какой-то человек оказывается способным, но не прилежным; 2) когда этот человек оказывается прилежным, но не способным; 3) когда установлено, что этот человек и способен, и прилежен. Оно является ложным, когда оказалось, что этот человек не является ни способным, ни прилежным. Суждения типа (1) в логике называют соединительно-разделительными. Суждение же (2) истинно лишь только в том случае, когда имеет место или только первая ситуация ("Он совершил преступление"), или только вторая ситуация ("Он не совершал преступления"). Суждение (2) не допускает, чтобы имели место обе ситуации. Суждения типа (2)...
Словарь по логике

Вопрос-ответ:

Ссылка для сайта или блога:
Ссылка для форума (bb-код):

Самые популярные термины